Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
501	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
502	14 Common Patterns in Recursive Procedures There are two ideas about how to solve programming problems.* One idea is that programmers work mostly by recognizing categories of problems that come up repeatedly Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Computability theory Computing Theory of computation Recursion Functions and mappings Function Mathematics Computer programming Programming idioms
503	Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:19 Subroutines Functional programming Lambda calculus Higher-order functions Computability theory Function Main function Parameter Scheme Software engineering Computer programming Computing
504	PRP - Parallel Recursive Procedures Arne Maus, Dept. of Informatics, University of Oslo email: arnem@i.uio.no Tornn Aas, Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:37:51 Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Algorithm Subroutine Tree traversal Parallel computing Computer programming Computing Software engineering
505	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
506	Toward a Practical Type Theory for Recursive Modules Derek R. Dreyer Robert Harper Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2001-03-22 16:01:25 Type theory Data types Recursion Computability theory Recursive data type Standard ML Fixed-point combinator Lambda calculus Generic programming Theoretical computer science Applied mathematics Mathematics
507	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
508	In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-09-24 15:20:25 Computability theory Theory of computation Models of computation Formal methods Algorithm Computational geometry Computability Computational science Computer science Theoretical computer science Applied mathematics Mathematics
509	banner above paper title An Efficient Type- and Control-Flow Analysis for System F Connor Adsit Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Applied mathematics Computer science Computability theory Lambda calculus Theoretical computer science
510	Bidirectional parsing a functional/logic perspective Peter Kourzanov NXP Eindhoven/TU Delft, Netherlands [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal languages Parsing Computability theory Recursion Compiler construction Parsing expression grammar Left recursion Syntactic predicate Attribute grammar Software engineering Computing Computer programming

UPDATE